State Diagram: AlarmController / State Diagram